Programming, mathematical reasoning and sense-making
نویسندگان
چکیده
منابع مشابه
Heuristic Reasoning in Mathematical Programming
In general terms some situations are described which require the exploitation of heuristics either to solve a mathematical optimization problem or to analyse results. A possibility to implement heuristic knowledge for selecting a suitable algorithm depending on available problem data and information retrieved from the user, is investigated in detail. We describe some inference strategies and kn...
متن کاملLogical Reasoning about Programming of Mathematical Machines
We always start the solving of a problem with the formulation of its theoretical foundations. If we would like to use mathematical machines (computers) in problem solving, we need to formalize its theoretical foundations as logical reasoning because the programs should really prove the correctness of their results. In our paper we present central ideas of our approach regarding programming as l...
متن کاملMathematical Programming Methods for Reasoning under Uncertainty
We survey three applications of mathematical programming to rea soning under uncertainty a an application of linear programming to probabilistic logic b an application of nonlinear programming to Bayesian logic a combination of Bayesian inference with probabilistic logic and c an application of integer programming to Dempster Shafer theory which is a method of combining evidence from di erent s...
متن کاملMaking Sense of Probability Through Paradox and Programming
The disciplines of probability and statistics have fundamentally changed the way we do science and the way we think about our world. Many scholars have argued (e.g., Cohen, 1990; Gigerenzer, 1990; Hacking, 1990) that a probabilistic revolution has occurred in our century and that notions of randomness and uncertainty have opened up whole new areas of mathematics and science. This has released a...
متن کاملMaking Sense of Location-based Micro-posts Using Stream Reasoning
Consider an urban environment and think to its semi-public realms (e.g., shops, bars, visitors attractions, means of transportation). Who is the maven of a district? How fast and how broad can such maven influence the opinions of others? These are just few of the questions BOTTARI (our Location-based Social Media Analysis mobile app) is getting ready to answer. In this position paper, we recap ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Mathematical Education in Science and Technology
سال: 2020
ISSN: 0020-739X,1464-5211
DOI: 10.1080/0020739x.2020.1858199